VDict mobile



committed-choice nondeterminism not found. Suggestions:

Dijkstra's guarded command language
Concurrent Prolog
Parlog
Guarded Horn Clauses
Charme
Andorra-Prolog
REGTRAL
intelligent backtracking
Axiom of Choice
pull-down list